#include "kernel.h"
extern "C" void  printf(char *str){
	u_short *monitor_io_memory=(u_short *)0xb8000;
	for(int i=0;str[i]!='\0';++i){
		monitor_io_memory[i]=(monitor_io_memory[i] & 0xff00) | str[i];
	}
}
typedef void(*constructor)();
constructor start_ctors;
constructor end_ctors;

extern "C" void system_constructors(){
	for(constructor* i=&start_ctors;i!=&end_ctors;i+=1){
		(*i)();
	}
}

extern "C" void  kernel_main(const void *multiboot_structure,u_int magicnumber){
	printf("Hello Pulsar-V");
	while(1);
}
